extern void fun(void);